Definiție
Un arbore binar este un arbore care fie este vid, fie constă dintr-un nod rădăcină si doi arbori binari disjuncți numiți subarborele stâng, respectiv subarborele drept.Clase speciale:
1) ARBORI BINARI STRICȚI sunt arborii binari în care orice vârf are gradul zero (este terminal) sau doi (are exact doi fii).2) ARBORI BINARI PLINI sunt arbori binari care au 2^k-1 vârfuri dispuse pe nivelurile 0,1, ...,k-1, astfel încât pe fiecare nivel i se găsesc 2^i vârfuri.
3) ARBORI BINARI COMPLEȚI sunt arbori binari care se obțin dintr-un arbore binar plin prin eliminarea din dreapta către stanga a unor noduri de pe ultimul nivel.
G este conex minimal (dacă suprimăm o muchie, graful obținut este neconex)